<?php
/* This file contains database connection information for 
the PHP frontend to Pundit and various other settings */

$db_host = "localhost";
$db_user = "pundit_user";
$db_pass = "password";
$db_name = "pundit";
?>
